Inconsistency Management for Traffic Regulations
نویسندگان
چکیده
Smart Cities is a vision driven by the availability of governmental data that fosters many challenging applications. One of them is the management of inconsistent traffic regulations, i.e., the handling of inconsistent traffic signs and measures in urban areas such as wrong sign posting, or errors in data acquisition in traffic sign administration software. We investigate such inconsistent traffic scenarios and formally model traffic regulations. Based on this, we consider relevant reasoning tasks including consistency testing, diagnosis, and repair, and present an implementation of the these tasks using answer set programming. The results of this research may improve existing governmental software maintaining traffic regulations.
منابع مشابه
Master Thesis (Extended Abstract) Inconsistency Management for Traffic Regulations
In modern day road traffic management, government officials are supported by software to store and visualize traffic signs and their underlying legal intentions (so-called traffic measures) on top of digital street maps. To date, however, methods are missing that help to ensure the correctness of traffic regulations. Driven by the vision of Smart Cities, this lack of tools is becoming increasin...
متن کاملInconsistency Management for Traffic Regulations: Formalization and Complexity Results
Smart Cities is a vision driven by the availability of governmental data that fosters many challenging applications. One of them is the management of inconsistent traffic regulations, i.e., the handling of inconsistent traffic signs and measures in urban areas such as wrong sign posting, or errors in data acquisition in traffic sign administration software. We investigate such inconsistent traf...
متن کاملInconsistency Management for Traffic Regulations
Road Traffic Regulations (Straßenverkehrsordnung; StVO) define legal road use on public streets. In particular, they describe the meaning and appropriation of traffic signs by means of which road use restrictions can be adopted. Traffic regulation orders become legally binding when they are announced by according traffic signs. This may lead to inconsistencies with existing regulations. In orde...
متن کاملInvestigation of the Effects of Religious Beliefs on Compliance with Traffic Laws and Regulations on Yazd Province Drivers (Structural Equation Modeling Approach)
Abstract Introduction: It is obvious that driving without laws and regulations is a threat to every society's order and safety ultimately leading to accidents and loss of life. Several factors play a role in observance of traffic laws and regulations. The main purpose of this research was to investigate the effect of religious beliefs on compliance with traffic laws and regulations that could ...
متن کاملOptimal Harmonization of Out-Network Traffic Control Regulations in Social Networks
Regulations of use of social networks, as one of the key components in these networks, serve an important role in controlling the flow of traffic. The study of the harmonization of these terms and regulations can be a significant step to avoid congestion and (Users’) rejection in the network. Harmonization of traffic control regulations (TCR) among social networks is one of the best solutions t...
متن کامل